(0 20 7)(1 19 4)(2 9 5)(3 16 12)(6 17 15)(8 13 10)(11 18 14)
ALLOWS (11/8)-SEQUENCE
1: (7 15 20)
(0 20 6 17 15)(1 19 4)(2 9 5)(3 16 12)(7)(8 13 10)(11 18 14)
2: (3 16 12)
(0 20 6 17 15)(1 19 4)(2 9 5)(3)(7)(8 13 10)(11 18 14)(12)(16)
3: (1 19 4)
(0 20 6 17 15)(1)(2 9 5)(3)(4)(7)(8 13 10)(11 18 14)(12)(16)(19)
4: (0 17 15)
(0)(1)(2 9 5)(3)(4)(6 17 20)(7)(8 13 10)(11 18 14)(12)(15)(16)(19)